body {
    -webkit-overflow-scrolling: touch;
}

pre {
    font-size: 9pt;
    font-family: Courier New, Arial;
    border: 1px solid #ddd;
    border-left: 5px solid #6CE26C;
    background: #f6f6f6;
    padding: 5px;
    
    overflow: auto;
    word-wrap: normal;
    white-space: pre;
}